Argumentation for Propositional Logic and Nonmonotonic Reasoning

Argumentation has played a significant role in understanding and unifying under a common framework different forms of defeasible reasoning in AI. Argumentation is also close to the original inception of logic as a framework for formalizing human argumentation and debate. In this context, the purpose of this paper is twofold: to draw a formal connection between argumentation and classical reasoning (in the form of Propositional Logic) and link this to support defeasible, NonMonotonic Reasoning in AI. To this effect, we propose Argumentation Logic and show properties and extensions thereof.